$\forall$$a$, $p$:$\mathbb{Z}$. prime($p$) $\Rightarrow$ (CoPrime($p$,$a$) $\Leftrightarrow$ $\neg$$p$ $\mid$ $a$)